<html>
<head><meta charset="utf-8"><title>meeting 2020.02.04 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html">meeting 2020.02.04</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="187395029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395029">(Feb 04 2020 at 20:04)</a>:</h4>
<p>I'm not sure if anyone else is there :) <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="187395109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395109">(Feb 04 2020 at 20:05)</a>:</h4>
<p>I am!</p>



<a name="187395128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395128">(Feb 04 2020 at 20:05)</a>:</h4>
<p>I myself have very little to update: still with the laptop troubles, but was able to read over Vytautas' awesome contribution</p>



<a name="187395139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395139">(Feb 04 2020 at 20:05)</a>:</h4>
<p>I've been too swamped with spinning up and down my courses to do much of anything though, including my own reasearch</p>



<a name="187395145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395145">(Feb 04 2020 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> good evening, how's it going ?</p>



<a name="187395202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395202">(Feb 04 2020 at 20:06)</a>:</h4>
<p>ah yes</p>



<a name="187395238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395238">(Feb 04 2020 at 20:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> Good evening! Well, I think it's going to be all right soon</p>



<a name="187395261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395261">(Feb 04 2020 at 20:07)</a>:</h4>
<p>But I don't have anything to report :(</p>



<a name="187395266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395266">(Feb 04 2020 at 20:07)</a>:</h4>
<p>remind me, in what order did you want to do your move errors work to continue ?</p>



<a name="187395291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395291">(Feb 04 2020 at 20:07)</a>:</h4>
<p>was a review needed in polonius before the one in rustc or something like that ?</p>



<a name="187395309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395309">(Feb 04 2020 at 20:07)</a>:</h4>
<p>Hmm, I'm not sure anymore</p>



<a name="187395317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395317">(Feb 04 2020 at 20:08)</a>:</h4>
<p>But I'm working on rebasing my changes to rustc</p>



<a name="187395319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395319">(Feb 04 2020 at 20:08)</a>:</h4>
<p>/me neither :)</p>



<a name="187395361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395361">(Feb 04 2020 at 20:08)</a>:</h4>
<p>So I guess I'm doing that...first?</p>



<a name="187395400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395400">(Feb 04 2020 at 20:08)</a>:</h4>
<p>I assume this PR would refer to one of your polonius branches, right ?</p>



<a name="187395425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395425">(Feb 04 2020 at 20:09)</a>:</h4>
<p>Anyway, disregarding ordering, we need some changes to the fact generation code, and also some code to test the new changes to Polonius, including fixing some now broken old tests</p>



<a name="187395427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395427">(Feb 04 2020 at 20:09)</a>:</h4>
<p>(I guess it's the open both PRs in lockstep dance we have to do)</p>



<a name="187395436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395436">(Feb 04 2020 at 20:09)</a>:</h4>
<p>Since I renamed virtually all facts, or at least it feels that way</p>



<a name="187395458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395458">(Feb 04 2020 at 20:09)</a>:</h4>
<p>Ok, no wait, now I remember; I think it's a better idea to do the Polonius changes first, because rustc needs a new Polonius release</p>



<a name="187395459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395459">(Feb 04 2020 at 20:09)</a>:</h4>
<p>ah yes, that must be also a reason rebasing is going to be a pain</p>



<a name="187395467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395467">(Feb 04 2020 at 20:09)</a>:</h4>
<p>In order to have the correct fact names etc</p>



<a name="187395519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395519">(Feb 04 2020 at 20:10)</a>:</h4>
<p>And to do the release we should have tests</p>



<a name="187395545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395545">(Feb 04 2020 at 20:10)</a>:</h4>
<p>do you happen to remember whether the rustc PR passed rustc's tests ?</p>



<a name="187395566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395566">(Feb 04 2020 at 20:11)</a>:</h4>
<p>(the polonius compare-mode tests)</p>



<a name="187395745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395745">(Feb 04 2020 at 20:12)</a>:</h4>
<p>It never has when I run it locally</p>



<a name="187395771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395771">(Feb 04 2020 at 20:13)</a>:</h4>
<p>But if I recall correctly the errors looked spurious</p>



<a name="187395773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395773">(Feb 04 2020 at 20:13)</a>:</h4>
<p>(they always do)</p>



<a name="187395774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395774">(Feb 04 2020 at 20:13)</a>:</h4>
<p>ah from the OOMs ?</p>



<a name="187395810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395810">(Feb 04 2020 at 20:13)</a>:</h4>
<p>I don't think so</p>



<a name="187395813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395813">(Feb 04 2020 at 20:13)</a>:</h4>
<p>It's just...some completely unrelated code crashing</p>



<a name="187395819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395819">(Feb 04 2020 at 20:13)</a>:</h4>
<p>I don't remember, it's been months</p>



<a name="187395856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395856">(Feb 04 2020 at 20:14)</a>:</h4>
<p>ok that's weird :)</p>



<a name="187395879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395879">(Feb 04 2020 at 20:14)</a>:</h4>
<p>Yes, but it's been that way since the first time I ran them</p>



<a name="187395892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395892">(Feb 04 2020 at 20:14)</a>:</h4>
<p>Once I get my changes to compile at all I'll look into it more closely</p>



<a name="187395907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187395907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187395907">(Feb 04 2020 at 20:14)</a>:</h4>
<p>I don't know what kind of time I'll have but I'll try to look at the PR, to see if maybe I can help with the rebase or just check if the tests do pass locally</p>



<a name="187396070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187396070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187396070">(Feb 04 2020 at 20:17)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> thanks for the info, talk to you soon :) good evening <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="187396083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187396083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187396083">(Feb 04 2020 at 20:17)</a>:</h4>
<p>Good evening!</p>



<a name="187396121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187396121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187396121">(Feb 04 2020 at 20:17)</a>:</h4>
<p>It's not really complicated, it's just...a lot of details</p>



<a name="187759059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187759059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187759059">(Feb 09 2020 at 13:30)</a>:</h4>
<p>Follow-up: rebase complete, my laptop is currently cooking my lap recompiling Rust on the train. I'll report how  compiletest's working whenever it finishes! WIP PR for fact extension &amp; rehaul: <a href="https://github.com/rust-lang/rust/issues/68993" target="_blank" title="https://github.com/rust-lang/rust/issues/68993">rust#68993</a></p>



<a name="187835661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187835661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187835661">(Feb 10 2020 at 17:12)</a>:</h4>
<p>btw running <code>rustfmt</code> on it would make it test on CI -- not <em>completely</em> of course, as you're more interested in the polonius compare-mode results, but there are some smoke tests ran by default</p>



<a name="187856524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.04/near/187856524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E04.html#187856524">(Feb 10 2020 at 20:49)</a>:</h4>
<p>It shouldn’t compile; it needs a new Polonius</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>